Knowledge Level Software Engineering
نویسندگان
چکیده
منابع مشابه
Issues in the development of an ontology for an emerging engineering discipline
The Guide to the software engineering body of knowledge (SWEBOK ISO TR 19759) provides a consensually validated characterization of the bounds of the software engineering discipline as well as a topical access to the Body of Knowledge supporting that discipline. This Body of Knowledge is currently organized as a taxonomy subdivided into ten Knowledge Areas designed to discriminate among the var...
متن کاملA Compositional Knowledge Level Process Model of Requirements Engineering
In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledge-level modelling techniques, resulting in a well-specified compositional process model for the Requirements Engi...
متن کاملMulti-Perspective Specification, Design and Implementation of Software Components Using Aspects
Current approaches to component-based systems engineering tend to focus on low-level software component interface design and implementation. This often leads to the development of components whose services are hard to understand and combine, make too many assumptions about other components they can be composed with and component documentation that is too low-level. Aspectoriented component engi...
متن کاملArchitecture-Level Dependence Analysis for Software Systems
Software architecture description languages provide a means to formally describe software systems at a high level of abstraction. They capture the high-level structure and/or behavior of the system, thus providing a basis for course-grain static analyses. Dependence analysis has been used as a basis for program optimization, debugging, and testing. We are developing a dependence analysis techni...
متن کاملFacilitating the Maintenance of Safety-Critical Systems
As software is increasingly used to control safety-critical systems, correctness becomes paramount. Formal methods in software development provide many bene ts in the forward engineering aspect of software development. Reverse Engineering is the process of constructing a high level representation of a system from existing lower level instantiations of that system. Reverse engineering of program...
متن کامل